Minor fix for previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 18 May 2012 17:40:13 +0000 (13:40 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 18 May 2012 17:40:13 +0000 (13:40 -0400)
commit0a28439804ef036a6ea1f92dfeaea12a35864c8e
treefb3708bf8c36f55dd083eae0d67c5af9e223eb98
parent2bf7415386c254aad49a6a1321abaeca9bd1e6b9
Minor fix for previous change.
Makefile.in